(define (problem tile-painting)
  (:domain tile-painting-domain)
  (:objects
    robot1 robot2 - robot
    white black - color
    tile_0-1 tile_0-2 tile_0-3 
    tile_1-1 tile_1-2 tile_1-3 
    tile_2-1 tile_2-2 tile_2-3 
    tile_3-1 tile_3-2 tile_3-3 
    tile_4-1 tile_4-2 tile_4-3 
    tile_5-1 tile_5-2 tile_5-3 - tile
  )
  (:init
    (at robot1 tile_3-3)
    (at robot2 tile_4-1)
    (spray-gun robot1 white)
    (spray-gun robot2 black)
    (adjacent tile_0-1 tile_1-1) (adjacent tile_1-1 tile_2-1) (adjacent tile_2-1 tile_3-1) (adjacent tile_3-1 tile_4-1) (adjacent tile_4-1 tile_5-1)
    (adjacent tile_0-2 tile_1-2) (adjacent tile_1-2 tile_2-2) (adjacent tile_2-2 tile_3-2) (adjacent tile_3-2 tile_4-2) (adjacent tile_4-2 tile_5-2)
    (adjacent tile_0-3 tile_1-3) (adjacent tile_1-3 tile_2-3) (adjacent tile_2-3 tile_3-3) (adjacent tile_3-3 tile_4-3) (adjacent tile_4-3 tile_5-3)
    (adjacent tile_1-1 tile_1-2) (adjacent tile_1-2 tile_1-3)
    (adjacent tile_2-1 tile_2-2) (adjacent tile_2-2 tile_2-3)
    (adjacent tile_3-1 tile_3-2) (adjacent tile_3-2 tile_3-3)
    (adjacent tile_4-1 tile_4-2) (adjacent tile_4-2 tile_4-3)
    (adjacent tile_5-1 tile_5-2) (adjacent tile_5-2 tile_5-3)
  )
  (:goal (and
    (painted tile_1-1 white) (painted tile_1-2 black) (painted tile_1-3 white)
    (painted tile_2-1 black) (painted tile_2-2 white) (painted tile_2-3 black)
    (painted tile_3-1 white) (painted tile_3-2 black) (painted tile_3-3 white)
    (painted tile_4-1 black) (painted tile_4-2 white) (painted tile_4-3 black)
    (painted tile_5-1 white) (painted tile_5-2 black) (painted tile_5-3 white)
  ))
)